cnf and dnf in discrete mathematics